automatic reasoning
自动推理法
热门查询
- staged v. stage过去式及过去分词 adj. 分期的
- outnumber vt. 数目超过；比…多
- allan n. 艾伦（男子名，等于Alan）
- synthesis n. 综合，[化学] 合成；综合体
- Dubois 迪布瓦(①姓氏 ②Paul, 1829-1905, 法国雕刻家)
- Almeida 阿尔梅达，弗朗西斯科·德((1450？-1510) 葡萄牙殖民长官，首任葡属印度总督(1505-1509年))
- accidents n. [安全] 事故（accident的复数）；[安全] 意外事故
- heinz n. 海因茨（姓氏）；亨氏食品公司（世界著名的食品供应商, 主要产品包括调味品和餐食两大类）
- automated adj. 自动化的；机械化的 v. 自动化（automate的过去分词）；自动操作
- tormented 拷打
- glottic adj. 声门的；语言的
- cut n. 伤口；切口；削减；（服装等的）式样；削球；切入 adj. 割下的；雕过的；缩减的 vt. [机] 切割；削减；缩短；刺痛 vi. [机] 切割；相交；切牌；停拍；不出席
- affair n. 事情；事务；私事；（尤指关系不长久的）风流韵事
- CIS abbr. 独联体（Commonwealth of Independence States）；中国工业标准（Chinese Industrial Standards）；国会情报处（Congressional Information Service）；国际研究中心（Center for International Studies） n. (Cis)人名；(捷)齐斯；(英)茜丝 (教名Cecil、Cecilia、Cicely、Cecily、Sisley的昵称)
- blizzard n. 暴风雪，大风雪；大打击 n. (Blizzard)人名；(英)布利泽德 vi. 下暴风雪
- Antarctica n. 南极洲
- Matisse n. 马蒂斯（法国画家、雕刻家和版画家）
- mystifying vt. 使神秘化；使迷惑，使困惑
- Augsburg 奥格斯堡[德意志联邦共和国南部城市]
- Holbein 霍尔拜因（人名）
